Rule-Based Analysis of Dimensional Safety
نویسندگان
چکیده
Dimensional safety policy checking is an old topic in software analysis concerned with ensuring that programs do not violate basic principles of units of measurement. Scientific and/or navigation software is routinely dimensional and violations of measurement unit safety policies can hide significant domain-specific errors which are hard or impossible to find otherwise. Dimensional analysis of programs written in conventional programming languages is addressed in this paper. We draw general design principles for dimensional analysis tools and then discuss our prototypes, implemented by rewriting, which include both dynamic and static checkers. Our approach is based on assume/assert annotations of code which are properly interpreted by our tools and ignored by standard programming language compilers/interpreters. The output of our prototypes consists of warnings that list those expressions violating the unit safety policy. These prototypes are implemented in the rewriting system Maude, using more than 2,000 rewriting rules. This paper presents a non-trivial application of rewriting techniques to software analysis.
منابع مشابه
ضریب اطمینان در تحلیل پایداری شیروانیها تحت اثر بار متمرکز
In this paper, stability of slopes with a shallow foundation located on top including the shape of the failure mechanism is investigated in static and seismic states. This is a three dimensional problem which is analyzed two dimensionally because 3D analyses are complex and appropriate softwares are not available. The conventional method of bearing capacity evaluation of foundations on top of ...
متن کاملEffect of Coating Materials on the Fatigue Behavior of Hip Implants: A Three-dimensional Finite Element Analysis
This study aims to validate, using finite element analysis (FEA), the design concept by comparing the fatigue behavior of hip implant stems coated with composite (carbon/PEEK) and polymeric (PEEK) coating materials corresponding to different human activities: standing up, normal walking and climbing stairs under dynamic loadings to find out which of all these models have a better performance in...
متن کاملEshelby-Mori-Tanaka and the Extended Mixture Rule Approaches for Nonlocal Vibration of Piezoelectric Nanocomposite Plate with Considering Surface Stress and Magnetic Field Effects
In this research, the surface stress effect on the nonlocal vibration of piezoelectric square plate reinforced by single walled carbon nanotubes (SWCNTs) based on classical plate theory (CPT) and first order shear deformation theory (FSDT) is presented. The elastic properties of piezoelectric nanocomposite plate are estimated by Eshelby-Mori-Tanaka and the extended mixture rule approaches. The ...
متن کاملKnowledge Based System for the Evaluation of Safety and the Prevention of Railway Accidents
This paper describes a contribution to improving the usual safety analysis methods used in the certification of railway transport systems. The methodology is based on the complementary and simultaneous use of knowledge acquisition and machine learning. The purpose is contributed to the generation of new accident scenarios that could help experts to conclude on the safe character of a new rail t...
متن کاملRule-based of Monetary Policy in Iran Inspired by McCallum Rule
Economists have reached a consensus that an independent central bank could improve its policy efficiency by following a monetary policy rule. One of the important rules is McCallum rule where that requires central banks to target the growth rate of nominal GDP using the monetary base as its instrument. One of the features of the McCallum rule uses the monetary base rather than the interest rate...
متن کامل